On Representations of Intended Structures in Foundational Theories
نویسندگان
چکیده
Abstract Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about branch mathematics. In addition, we know that there are foundational mathematical theories can find representatives for the objects informal this paper, examine how faithfully represent structures, show question is closely linked to decidability theory structure. We argue sheds light on trade-off between expressive power meta-theoretic properties comparing first-order second-order logic.
منابع مشابه
Bootstrap learning of foundational representations
To be autonomous, intelligent robots must learn the foundations of commonsense knowledge from their own sensorimotor experience in the world. We describe four recent research results that contribute to a theory of how a robot learning agent can bootstrap from the ‘blooming buzzing confusion’ of the pixel level to a higher level ontology including distinctive states, places, objects, and actions...
متن کاملthe impact of e-readiness on ec success in public sector in iran the impact of e-readiness on ec success in public sector in iran
acknowledge the importance of e-commerce to their countries and to survival of their businesses and in creating and encouraging an atmosphere for the wide adoption and success of e-commerce in the long term. the investment for implementing e-commerce in the public sector is one of the areas which is focused in government‘s action plan for cross-disciplinary it development and e-readiness in go...
the role of task-based techniques on the acquisition of english language structures by the intermediate efl students
this study examines the effetivenss of task-based activities in helping students learn english language structures for a better communication. initially, a michigan test was administered to the two groups of 52 students majoring in english at the allameh ghotb -e- ravandi university to ensure their homogeneity. the students scores on the grammar part of this test were also regarded as their pre...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2021
ISSN: ['1573-0433', '0022-3611']
DOI: https://doi.org/10.1007/s10992-021-09628-2